- first-order closure
- 一阶闭合
Atmospheric Sciences (English-Chinese) dictionary. 2014.
first-order closure
Look at other dictionaries:
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Closure in Moscow — Origin Melbourne, Victoria, Australia Genres Progressive rock Alternative rock Years active 2006–present Labels Equal Vision Warner Brothers (AUS) … Wikipedia
Order theory — For a topical guide to this subject, see Outline of order theory. Order theory is a branch of mathematics which investigates our intuitive notion of order using binary relations. It provides a formal framework for describing statements such as… … Wikipedia
Closure with a twist — is a property of subsets of an algebraic structure. A subset Y of an algebraic structure X is said to exhibit closure with a twist if for every two elements there exists an automorphism ϕ of X and an element such that … Wikipedia
First university in the United States — is a status asserted by more than one U.S. university. In the U.S. there is no official definition of what entitles an institution to be considered a university versus a college, and the common understanding of university has evolved over time.… … Wikipedia
Order Castles of the Third Reich — Directed by R.J. Adams Produced by Diane C. Adams … Wikipedia
Closure (computer science) — In computer science, a closure (also lexical closure, function closure, function value or functional value) is a function together with a referencing environment for the non local variables of that function.[1] A closure allows a function to… … Wikipedia
Order topology — In mathematics, an order topology is a certain topology that can be defined on any totally ordered set. It is a natural generalization of the topology of the real numbers to arbitrary totally ordered sets. If X is a totally ordered set, the order … Wikipedia
Closure In Moscow — Infobox musical artist Name = Closure In Moscow Img capt = Img size = Landscape = yes Background = group or band Alias = Origin = Melbourne, Australia Genre = Progressive rock Psychedelic rock Alternative rock Years active = 2006 ndash;present… … Wikipedia
First 100 days of Barack Obama's presidency — For a chronological listing of 2009 events, see Timeline of the Presidency of Barack Obama (2009). This article is part of a series on Barack Obama … Wikipedia
Closure (topology) — For other uses, see Closure (disambiguation). In mathematics, the closure of a subset S in a topological space consists of all points in S plus the limit points of S. Intuitively, these are all the points that are near S. A point which is in the… … Wikipedia
